Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
691	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:47 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
692	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 On the Rectangle Escape Problem Sepehr Assadi∗ Ehsan Emamjomeh-Zadeh∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:59 Operations research Algorithm Mathematical logic Theoretical computer science Bin Rectangle Approximation algorithm Linear programming Integral Mathematics Geometry Applied mathematics
693	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
694	Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-08 08:41:11 Philosophy of mind Programming paradigms Theoretical computer science Model checking Abstraction Logic in computer science Concept Heuristic function Combinatory logic Thought Cognition Mind
695	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
696	A pattern matcher for miniKanren or How to get into trouble with CPS macros Andrew W. Keep Michael D. Adams Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:00 Type theory Transformation languages Procedural programming languages Logic programming Source code Hygienic macro Scheme Prolog Macro Computing Software engineering Computer programming
697	Programming Techniques for Partial Evaluation Olivier Danvy BRICS † Department of Computer Science University of Aarhus ‡ January 2000 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Functional programming Subroutines Recursion Scheme Combinatory logic Closure Function Lambda Software engineering Declarative programming Computing
698	Integrating Machine Learning and Physician Knowledge to Improve the Accuracy of Breast Biopsy I. Dutra1 , H. Nassif2 , D. Page2 , J. Shavlik2 , R. M. Strigel, MD, MS2 , Y. Wu2 , M. E. Elezaby, MD2 , E. Burnside, MD, MPH, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-10-26 21:00:20 Breast surgery Cancer screening Ribbon symbolism Mammography Breast biopsy Breast cancer Machine learning Weka Inductive logic programming Medicine Biopsy Pathology
699	A Guide to VLISP, A Veried Programming Language Implementation J. D. Guttman L. G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Procedural programming languages Programming language implementation Logic in computer science PreScheme Scheme programming language Compiler construction Programming language Compiler Denotational semantics Software engineering Computing Programming language theory
700	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming

UPDATE